翻訳と辞書 |
Tarski's theorem : ウィキペディア英語版 | Tarski's theorem Tarski's theorem may refer to the following theorems of Alfred Tarski: *Tarski's theorem about choice *Tarski's undefinability theorem *Tarski's theorem on the completeness of the theory of real closed fields * Knaster–Tarski theorem (sometimes referred to as Tarski's fixed point theorem) * Tarski–Seidenberg theorem * Some fixed point theorems, usually variants of the Kleene fixed-point theorem, are referred to the Tarski–Kantorovitch fixed–point principle or the Tarski–Kantorovitch theorem although the use of this terminology is limited. *The Tarski–Vaught test ==See also==
*List of things named after Alfred Tarski
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Tarski's theorem」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|